Quantum SAT for a Qutrit-Cinquit Pair Is QMA1-Complete
نویسندگان
چکیده
We show that the quantum SAT problem is QMA1-complete when restricted to interactions between a three-dimensional particle and a five-dimensional particle. The best previously known result is for particles of dimensions 4 and 9. The main novel ingredient of our proof is a certain Hamiltonian construction named the Triangle Hamiltonian. It allows to verify the application of a 2-qubit CNOT gate without generating explicitly interactions between pairs of workspace qubits. We believe this construction may contribute to progress in similar Hamiltonian-oriented problems such as Adiabatic Computation.
منابع مشابه
On efficiently solvable cases of Quantum k-SAT
The constraint satisfaction problems k-SAT and Quantum k-SAT (k-QSAT) are canonical NP-complete and QMA1-complete problems (for k ≥ 3), respectively, where QMA1 is a quantum generalization of NP with one-sided error. Whereas k-SAT has been well-studied for special tractable cases, as well as from a parameterized complexity perspective, much less is known in similar settings for k-QSAT. Here, we...
متن کاملDynamics of Entanglement in Qubit-Qutrit with x- Component of DM Interaction
In this present paper, we study the entanglement dynamics in qubit A-qutrit B pair under x component of Dzyaloshinshkii–Moriya interaction (Dx) by taking an auxiliary qubit C. Here, we consider an entangled qubit-qutrit pair initially prepared in two parameter qubit-qutrit states and one auxiliary qubit prepared in pure state interacts with the qutrit of the pair through DM interaction. We trac...
متن کاملImplementation of Single-Qutrit Quantum Gates via Tripod Adiabatic Passage
We proposed and analyzed implementation of the single-qutrit quantum gates based on stimulated Raman adiabatic passage (STIRAP) between magnetic sublevels in atoms coupled by pulsed laser fields. This technique requires only the control of the relative phase of the driving fields but do not involve any dynamical or geometrical phases, which make it independent of the other interaction details: ...
متن کاملProtocol for making a 2-qutrit entangling gate in the Kauffman-Jones version of $SU(2)_4$
The Brylinski couple, in a work [7] dating from 2001, proves that universal single qudit gates together with any 2-qudit entangling gate are sufficient for universal quantum computation. For qubits, there is an independent proof of this fact by [3]. The goal of our present paper is to provide a protocol for producing a 2-qutrit entangling gate in the framework of the Kauffman-Jones version [8] ...
متن کاملClassification and Quantification of Entangled Bipartite Qutrit Pure States
A complete analysis of entangled bipartite qutrit pure states is carried out based on a simple entanglement measure. An analysis of all possible extremally entangled pure bipartite qutrit states is shown to reduce, with the help of SLOCC transformations, to three distinct types. The analysis and the results should be helpful for finding different entanglement types in multipartite pure state sy...
متن کامل